Add a couple of software performance counters to the page table update routines.
unsigned int cmd;
unsigned long cr0 = 0;
+ perfc_incrc( calls_to_process_page_updates );
+ perfc_addc( num_page_updates, count );
+
for ( i = 0; i < count; i++ )
{
+
if ( unlikely(copy_from_user(&req, ureqs, sizeof(req)) != 0) )
{
if ( cr0 != 0 ) write_cr0(cr0);
PERFCOUNTER_CPU( domain_page_tlb_flush, "domain page tlb flushes" )
PERFCOUNTER_CPU( need_flush_tlb_flush, "PG_need_flush tlb flushes" )
+
+PERFCOUNTER_CPU( calls_to_process_page_updates, "calls_to_process_page_updates" )
+PERFCOUNTER_CPU( num_page_updates, "num_page_updates" )
+
+
+